Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
161	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification D EFINING H IGHER O RDER L OGIC Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Model theory Boolean algebra Fixed-point combinator First-order logic Hoare logic Propositional calculus Simply typed lambda calculus Mathematical logic Logic Theoretical computer science
162	Overview Modelling Algorithmic Verification Comp4151 Lecture 5-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Binary decision diagram Model checking Artificial neuron Theoretical computer science Applied mathematics Assembly languages Propositional directed acyclic graph COMPASS/Sample Code Boolean algebra Diagrams Mathematics
163	Category Theory for Dummies (I) James Cheney Programming Languages Discussion Group Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-10-30 05:46:14 Linear algebra Model theory Abstract algebra Boolean algebra Vector space Continuous function Structure Tychonoff space Orbifold Algebra Mathematics Mathematical structures
164	Cheshire II at INEX: Using A Hybrid Logistic Regression and Boolean Model for XML Retrieval Ray R. Larson School of Information Management and Systems University of California, Berkeley Berkeley, California, USA, [removed] Add to Reading List Source URL: cheshire.berkeley.edu Language: English - Date: 2003-03-10 09:58:28 Document retrieval Z39.50 Search engine indexing Search engine Full text search IR evaluation Precision and recall Concept Search Contextual Query Language Information science Information retrieval XML-Retrieval
165	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
166	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic
167	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics
168	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
169	The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 14:51:33 Algebraic logic Algebraic structures Universal algebra Boolean algebra Variety Subdirectly irreducible algebra Representation theory Model theory Stone duality Abstract algebra Mathematics Algebra
170	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2015-01-17 12:41:52 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Propositional variable Interpretation First-order logic Logic Mathematical logic Mathematics

UPDATE